APPENDIX – SUPPLEMENTARY MATERIAL Contextual Bandit Algorithms with Supervised Learning Guarantees Alina Beygelzimer IBM Research Hawthorne, NY

Source URL: jmlr.org

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Avraham Shinnar, Jérôme Siméon, and Martin Hirzel IBM Research

Source URL: hirzels.com

Constructing Scalable Overlays for Pub-Sub with Many Topics Problems, Algorithms, and Evaluation Gregory Chockler Roie Melamed Yoav Tock IBM Haifa Research Laboratory {chockler,roiem,tock}@il.ibm.com

Source URL: people.csail.mit.edu

Machine Virtualization for Fun, Profit, and Security Muli Ben-Yehuda (Technion & IBM Research) Muli Ben-Yehuda Technion & IBM Research

Source URL: www.mulix.org

• Software
• Computing
• System software
• Hardware virtualization
• Hypervisor
• X86 virtualization
• Virtualization
• Virtual machine
• VMware
• Embedded hypervisor
• Hardware-assisted virtualization

IBM Research DataFlow SuperComputing for BigData Analytics Velijko Milutinovic, Ph.D

Source URL: home.etf.rs

User Mode Linux Linux inside Linux inside Linux inside... Muli Ben-Yehuda IBM Haifa Research Labs

Source URL: www.mulix.org

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Avraham Shinnar, Jérôme Siméon, and Martin Hirzel IBM Research, USA {shinnar,simeon,hirzel}@us.ibm.com

Source URL: hirzels.com

General Incremental Sliding-Window Aggregation Kanat Tangwongsan Mahidol University International College, Thailand (part of this work done at IBM Research, Watson)

Source URL: hirzels.com

Operating System and Hypervisor Support for IOMMUs Muli Ben-Yehuda IBM Haifa Research Lab

Source URL: www.mulix.org

• Software
• System software
• Computing
• Hardware virtualization
• Hypervisor
• Xen
• Virtual machine
• Paravirtualization
• Inputoutput memory management unit
• Device driver
• Hyper-V
• VMware

The Linux kernel Past, Present and Future - the Linux way Muli Ben-Yehuda IBM Haifa Research Labs

Source URL: www.mulix.org

• Computer architecture
• Software
• System software
• Linux kernel
• Free Software Foundation
• Linux
• Linus Torvalds
• Kernel
• MINIX
• Operating system
• GNU Project
• System call